1. Formal verification :
پدیدآورنده : Erik Seligman, Tom Schubert, M.V. Achutha Kiran Kumar
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic circuits-- Testing,Integrated circuits-- Very large scale integration-- Design and construction,Verilog (Computer hardware description language)
رده :
TK7867
